Buy Used and New Martin Hofmann Books

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642198045

Format: Paperback (488 pages)
Publisher: Springer
Published: 18 Mar 2011

Save for later

Automatentheorie und Logik (eXamen.press)

by Martin Hofmann,Martin Lange

ISBN 13: 9783642180897

Format: Paperback (252 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later